Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
61	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic
62	Pairwise-Difference Estimation of a Dynamic Optimization Model∗ Han Hong Stanford University Matthew Shum† Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2010-12-02 19:46:17 Statistical theory Entailment Logical syntax Metalogic Philosophical logic Normal distribution Asymptotic theory Logic Statistics Econometrics
63	T I M S S Supplement Variables Derived from the Student and Teacher Add to Reading List Source URL: isc.bc.edu Language: English - Date: 2000-03-08 10:34:52 Evaluation methods Algebra Logical syntax Hindley–Milner Questionnaire Mathematics Variables Type theory
64	c 1993 Cambridge University Press 1 J. Functional Programming 1 (1): 1{000, January 1993 FUNCTIONAL PEARLS Proof-Directed Debugging Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 17:55:28 Functional languages Deduction Entailment Logical syntax Metalogic Philosophical logic Regular expression Standard ML IP Logic Software engineering Computer programming
65	Weak Formal Systems and Connections to Computational Complexity Lecture Notes for a Topics Course University of California, Berkeley January-May 1988 Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2006-04-24 18:16:59 Proof theory Automated theorem proving Propositional calculus Logical truth Logical syntax Sequent Cut-elimination theorem Substitution Resolution Logic Mathematical logic Mathematics
66	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science
67	Prior’s tonk John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:06:47 Logical consequence Metalogic Philosophy of mathematics Entailment Rule of inference Inference Negation Proof theory Rudolf Carnap Logic Propositional calculus Logical syntax
68	Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:33:56 Formal languages Metalogic Non-classical logic Logical syntax Sequent calculus Sequent Linear logic Entailment Intuitionistic logic Logic Mathematical logic Proof theory
69	Deep Sea Drilling Project Initial Reports Volume 93 Add to Reading List Source URL: www.deepseadrilling.org Language: English - Date: 2007-04-25 14:03:42 Logical syntax Metalogic Philosophical logic Propositional calculus Logic Deduction Entailment
70	Limiting Information Leakage in Event-based Communication Willard Rafnsson Andrei Sabelfeld Chalmers Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:16 Logical syntax Metalogic Philosophical logic Propositional calculus Ch Dependence analysis Logic Deduction Entailment

UPDATE